정적 타입 언어에서는 정적 타입 언어불변성이 데이터의 기초적인 상태이며, 메모리 안전성과 예측 가능한 실행을 보장합니다. 변수는 그늘을 만들거나 가변적으로 만들 수 있지만, 상수 값을 이름에 영구적으로 연결함으로써 이 개념을 한 단계 더 발전시킵니다.

1. 상수의 엄격함

표준 변수와 달리 타입 추론 컴파일러가 데이터 타입을 추론할 수 있게 해주는 반면, 상수는 반드시 명시적 타입 주석 (예: : u32)를 요구합니다. 이를 통해 코드 바이너리 내에서 엄격한 계약을 유지할 수 있습니다.

2. 컴파일 타임 평가

상수는 단순히 불변 변수가 아닙니다. 컴파일 타임에 프로그램 바이너리에 "베이킹"되어 평가됩니다. 이를 통해 컴파일러는 프로그램이 실행되기 전에 상수 표현식 (예: 60 * 60 * 3)을 수행할 수 있으며, 성능 최적화를 가능하게 합니다.

3. 절대적 불변성

상수는 "단 하나의 진실 원천" 역할을 합니다. 다음 키워드로 가변적으로 만들 수 없습니다: mut 또한 동일한 스코프 내에서 그늘을 만들 수 없으며, 프로그램의 핵심 매개변수가 실행 중에 변경되지 않도록 보장합니다.